# w4

A library that provides a system of logic suitable for interaction rather than simulation.